Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
81	SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM Second Edition Teaching Notes CLIFF B JONES Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-01-08 04:19:13 Vienna Development Method Meta-IV E1 Everything2 Applied mathematics Theoretical computer science Logic in computer science Denotational semantics
82	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 1996-10-15 05:57:12 Models of computation Type theory Data types Programming language implementation Logic in computer science Denotational semantics Partial evaluation Programming language Subtype polymorphism Software engineering Computing Programming language theory
83	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands A Veried Compiler for VLISP PreScheme Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Logic in computer science Programming language semantics PreScheme Scheme programming language Compiler construction Denotational semantics Scheme 48 Compiler Operational semantics Software engineering Computing Computer programming
84	A Veried Compiler for Multithreaded PreScheme 1 William M. Farmer Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Logic in computer science Programming language semantics PreScheme Scheme programming language Denotational semantics Operational semantics System programming language Compiler Programming language Software engineering Computing Programming language theory
85	MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY A.I. Technical Report NoOctober, 1993 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:37 Programming paradigms Abstraction Scheme Procedural programming Denotational semantics Id Pascal SQL ACT-R Computing Software engineering Programming language theory
86	Auto in Agda joint work with Pepijn Kokke ! Nijmegen Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Knowledge Functional languages Deduction Agda Mathematical proof Soundness Per Martin-Löf Constructivism Denotational semantics Logic Proof theory Mathematics
87	A Guide to VLISP, A Veried Programming Language Implementation J. D. Guttman L. G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Procedural programming languages Programming language implementation Logic in computer science PreScheme Scheme programming language Compiler construction Programming language Compiler Denotational semantics Software engineering Computing Programming language theory
88	A Bisimulation for Type Abstraction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-01-18 15:06:02 Mathematics Models of computation Denotational semantics Lambda calculus Model theory Π-calculus Bisimulation Orbifold Theoretical computer science Applied mathematics Logic in computer science
89	Generating a Pattern Matching Compiler by Partial Evaluation Jesper Jørgensen ∗ DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:04 Logic in computer science Models of computation Lambda calculus Functional programming Programming language semantics Denotational semantics Fixed-point combinator Compiler-compiler Compiler Software engineering Computing Theoretical computer science
90	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science

UPDATE